Sitzung vom 8. Januar 1883

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Kurzbericht 2007/8 vom Arbeitskreistreffen Terminologie der Softwaretechnik

Im Jahr 2007 gab es außerdem einen Workshop mit einem erweiterten Teilnehmerkreis zu dem speziellen Thema Metamodellierung. Dieser Workshop fand am 4. und 5. Mai 2007 in Bad Endorf statt. Anlass für den Workshop war u.a. eine Artikelserie zu diesem Thema in der Zeitschrift Software and Systems Modeling (SoSyM) Vol. 5, Nr. 4. Der Autor des auslösenden Artikels Matters on (Meta-) Modeling Thomas ...

FG SRE: Bericht und Beiträge vom 15. Workshop Software-Reengineering vom 6.- 8. Mai 2013 in Bad Honnef

Die Workshops Software Reengineering (WSR) wurden mit dem ersten WSR 1999 ins Leben gerufen, um neben den internationalen erfolgreichen Tagungen im Bereich Reengineering auch ein deutschsprachiges Diskussionsforum zu schaffen. Ziel der Treffen ist es, einander kennen zu lernen und auf diesem Wege eine direkte Basis der Kooperation zu schaffen, so dass das Themengebiet eine weitere Konsolidierun...

Leonard Colebrook, 1883-1967.

Leonard Colebrook (1883?1967)

Leonard Colebrook was a physician who researched bacteria and infections in England during the twentieth century. In 1936, Colebrook deployed the antibiotic Prontosil to treat puerperal fever, a disorder that results from bacterial infections in the uterine tracts of women after childbirth or abortions. Colebrook also advanced care for burn patients by advocating for the creation of burn units ...